$\forall$${\it the\_w}$:World, $e$:E. $\neg$isnull(act($e$))